Monogamy and polygamy relations of multiqubit entanglement based on unified entropy
Jin Zhi-Xiang1, †, Qiao Cong-Feng1, 2, ‡
School of Physics, University of Chinese Academy of Sciences, Beijing 100049, China
CAS Center for Excellence in Particle Physics, Beijing 100049, China

 

† Corresponding author. E-mail: jzxjinzhixiang@126.com qiaof@ucas.ac.cn

Project supported by the National Basic Research Program of China (Grant No. 2015CB856703), the Strategic Priority Research Program of the Chinese Academy of Sciences (Grant No. XDB23030100), the National Natural Science Foundation of China (Grant Nos. 11847209, 11375200, and 11635009), and the China Postdoctoral Science Foundation.

Abstract

Monogamy relation is one of the essential properties of quantum entanglement, which characterizes the distribution of entanglement in a multipartite system. By virtual of the unified-(q,s) entropy, we obtain some novel monogamy and polygamy inequalities in general class of entanglement measures. For the multiqubit system, a class of tighter monogamy relations are established in term of the α-th power of unified-(q,s) entanglement for α ≥ 1. We also obtain a class of tighter polygamy relations in the β-th (0 ≤ β ≤ 1) power of unified-(q,s) entanglement of assistance. Applying these results to specific quantum correlations, e.g., entanglement of formation, Renyi-q entanglement of assistance, and Tsallis-q entanglement of assistance, we obtain the corresponding monogamy and polygamy relations. Typical examples are presented for illustration. Furthermore, the complementary monogamy and polygamy relations are investigated for the α-th (0 ≤ α ≤ 1) and β-th (β ≥ 1) powers of unified entropy, respectively, and the corresponding monogamy and polygamy inequalities are obtained.

1. Introduction

Quantum entanglement[18] plays an important role in quantum information processing, which is considered as one of the most significant resources of quantum communication. It has been proved to be completely safe for any interior or exterior eavesdropper. In the past decades, the bipartite entanglement system has been investigated extensively, and abundant precious results are obtained. The usual monogamy inequality[9,10] may write as (ρA|BC) ≥ (ρAB) + (ρAC), where ρAB = trC(ρABC) and ρAC = trB(ρABC). The here stands for one kind of entanglement measure, which is essentially different from the classical correlation. The monogamy relation indicates that the entanglement between subsystems constraints each other. In Ref. [11], the authors found that the monogamy relation may play an important role in quantum key distribution security.

To understand more about the relations among quantum entanglements of multipartite systems is crucial for their application in quantum processing. The application of monogamy relation performed in quantum information theory may be helpful in this aim. The monogamy inequality, which is also called CKW inequality,[9] was first proposed by Coffman–Kundu–Wootters based on the concurrence of the qubit system.[12] Later on, many other forms of monogamy relations were established, including those for multiqubit and high-dimensional systems.[1322] Recently, in Refs. [23,24], the authors gave an alternative definition of the monogamy relation with no inequality employed.

Qualitatively, for a composite quantum system, the monogamy inequality implies a trade-off relation of entanglement among subsystems, i.e., the more two subsystems are entangled the less this pair will interfere with the rest of others within the system. Different from the CKW inequality fulfilled by the concurrence, the assisted entanglement Ea[25] satisfies polygamy inequality Ea(ρA|BC) ≤ Ea(ρAB) + Ea(ρAC) for tripartite state ρABC, which is the dual property of the monogamy relation in the multipartite system. For a three-qubit system, reference [25] described a class of polygamy of bipartite entanglement in term of tangle of assistance, which was later generalized to the multipartite system based on different kinds of assisted entanglements.[2628] Generally, the entanglement of assistance does not satisfy the usual monogamy relations. In Refs. [16,20], the authors found special classes of quantum states satisfying the monogamy relation for both concurrence of assistance and negativity of assistance. It was found that for the multiqubit system, the monogamy relations for the x-th power of entanglement of formation and concurrence are satisfied for and x ≥ 2, respectively.[20,21] Recently, various monogamy and polygamy inequalities are obtained under the non-negative power in the multipartite system.[17,18,20,22]

In this paper, using the unified entropy,[29,30] we give new monogamy and polygamy inequalities, which are tighter than the existing ones in some classes of quantum states. Applying these results to the quantum correlations such as entanglement of formation, Renyi-q entanglement of assistance, and Tsallis-q entanglement of assistance, we then obtain the corresponding monogamy and polygamy relations. By using the two-qubit entanglement of individual subsystems, a class of tighter monogamy relations are established for multiqubit entanglement, in term of the α-th power of unified-(q,s) entanglement for α ≥ 1. We present also a class of tighter polygamy relations for the multiqubit entanglement, in term of the β-th (0 ≤ β ≤ 1) power of unified-(q,s) entanglement of assistance. The yet unknown complementary monogamy and polygamy relations are investigated for the α-th (0 ≤ α ≤ 1) and β-th (β ≥ 1) powers of unified entropy, respectively. Several illustrating examples are given.

2. Monogamy of multiqubit relations for unified entropy

For any quantum state ρ, its unified-(q,s) entropy is defined as[29,30]

with q, s ≥ 0, q ≠ 1, and s ≠ 0.

For a bipartite pure state |ψABAB with its reduced density matrix ρA = TrB|ψABψ| onto subsystem A and each q, s ≥ 0, its unified-(q,s) entanglement (UE) is defined as[27]

For a bipartite mixed state ρABAB, we define its UE via convex-roof extension
where the minimum is taken over all possible pure state decompositions of ρAB = ∑ipi|ψiABψi| and ∑ipi = 1. Since the UE in Eq. (3) is continuous with respect to the parameters q and s, UE reduces to Renyi-q entanglement (RE)[31,32] as s tends to 0, and converges to Tsallis-q entanglement (TE)[28,33] when s tends to 1. With any nonnegative s, UE converges to the entanglement of formation (EoF) as q tends to 1,
Therefore, UE is one of the most general classes of bipartite entanglement measures, with RE, TE, and EoF as special classes of UE.[27]

As a dual quantity to UE, unified-(q,s) entanglement of assistance (UEoA) is defined as[34]

for each q, s ≥ 0, where the maximum is taken over all possible pure state decompositions of ρAB = ∑ipi|ψABψ| and ∑ipi = 1.

Similarly, as UEoA in Eq. (5) is continuous for the parameters q and s, it assures that UEoA reduces to Renyi-q entanglement of assistance (REoA)[32] and Tsallis-q entanglement of assistance (TEoA)[28] when s tends to 0 or 1, respectively. For any nonnegative s, as q tends to 1, UEoA reduces to the entanglement of assistance (EoA),[34]

By using UE in Eq. (3) to quantify the bipartite quantum entanglement, the monogamy inequality is established in multiqubit systems; for any N-qubit state ρA1A2AN and its two-qubit reduced density matrices ρA1Ai with i = 2,…,N, we have

for q ≥ 2, 0 ≤ s ≤ 1, and qs ≤ 3.[27]

It is also shown that UEoA can be used to characterize the polygamy of multiqubit entanglement as[34]

for 1 ≤ q ≤ 2 and −q2 + 4q – 3 ≤ s ≤ 1. It is further improved that, when q ≥ 2, 0 ≤ s ≤ 1, and qs ≤ 3,[18]
for any multiqubit state ρA1A2AN and α ≥ 1, where wH(j) is the Hamming weight. For any non-negative integer j and its binary expansion , with log2jn and ji ∈ {0, 1}, i = 0,1, …, n – 1, we can always define a unique binary vector j associated with j, j = (j0, j1, …, jn – 1). For the binary vector j defined above, the Hamming weight wH(j) is defined by the number of 1’s in {j0, j1, …,jn – 1}. Thus, one has wH(j) ≤ log2jj.

3. Tighter monogamy relations of multiqubit for unified entropy

Monogamy of entanglement is an intriguing feature of quantum entanglement, which characterizes the distributions of quantum entanglement among multipartite quantum systems, and becomes one of the hot issues in the study of quantum information theory in recent years. And the optimized monogamy relations give rise to finer characterizations of the entanglement distributions, which are tightly related to the security of quantum cryptographic protocols based on entanglement[11] (it limits the amount of correlations that an eavesdropper can have with the honest parties). Therefore, obtaining tighter monogamy relations of entanglement is necessary to understand the whole picture of quantum entanglement. Here, in term of the α-th power of UE, we provide a class of tighter monogamy relations for the multiqubit entanglement. First, we give two lemmas.

In Lemma 2, without loss of generality, we have assumed that Eq,s(ρAB) ≥ Eq,s(ρAC), since the subsystems A and B are equivalent. Moreover, in the proof of Lemma 2, we have assumed Eq,s(ρAB) > 0. If Eq,s(ρAB) = 0 and Eq,s(ρAB) ≥ Eq,s(ρAC), then Eq,s(ρAB) = Eq,s(ρAC) = 0. The lower bound is trivially zero. For multipartite qubit systems, we have the following theorem.

Generally, conditions for inequalities (11) and (13) are not always satisfied. In following, we give a universal monogamy inequality.

Fig. 1. The y represents the lower bounds of UE of |ψABC, which are functions of α. The red solid line shows the values of UE of |ψABC in Example 1, the dashed line illustrates the lower bound in our calculation, the green dot-dashed line represents the lower bound given in Ref. [18].

In a special case, inequality (15) reduces to Eq. (7) of Ref. [27] for α = 1. For α > 1, (2α – 1)m > αm, and all 1 ≤ mN – 3, formula (15) in Theorem 2 leads to a tighter monogamy relation with larger lower bounds than Eqs. (9) and ({37}) in Ref. [18]. Theorem 2 gives another monogamy relation based on the entanglement measure UE. Comparing inequality (11) in Theorem 1 with inequality (15) in Theorem 2, one may notice that inequality (11) is better than inequality (15). However, we note that for those classes of states that do not satisfy the conditions in Theorem 1, Theorem 2 is better.

Fig. 2. The y represents the lower bound of UE of |WAB1B2B3, which is a function of α. The red solid line denotes the UE of |WAB1B2B3 in Example 2, and the blue dashed line represents the lower bound from inequality (15) of Theorem 2.

In Ref. [20], the authors presented for with the conditions CABiCA|Bi + 1BN – 1, i = 1, 2, …, N – 2 for N-qubit states; in Ref. [21], the authors obtained for . Because EoF coincides with concurrence for any 2 ⊗ d-dimensional pure state, we get for with the same conditions as q tends to 1 in Theorem 1. As for , obviously, our result is better than that in Refs. [20,21].

4. Tighter polygamy relations of multiqubit entanglement

Different from the property of inequality (11) of Theorem 1, we now provide a class of polygamy relations in multiqubit systems in terms of UEoA, which are tighter than the existing ones. For preparation, we first give two lemmas.

With preceding lemmas, we can then get the following Theorem for multiqubit systems.

Fig. 3. The y denotes the upper bound of the UEoA of |ψABC, which is a function of β. The red solid line represents the UEoA of |ψABC in Ref. (14), blue dashed line represents the upper bound of our result, green dot-dashed line represents the upper bound given in Ref. [18].

Note that the conditions of (20) in Theorem 3 and (21) in Ref. [18] are not generally satisfied. To get a widespread result, we have the following observation.

Fig. 4. The y denotes the upper bound of UEoA of |WAB1B2B3. Solid (red) line is exactly the UEoA of |WAB1B2B3, dashed (blue) line represents the upper bound of in inequality (22) for 0 ≤ β ≤ 1.
5. Complementary monogamy and polygamy properties of multiqubit systems

In this section, we investigate monogamy and polygamy relations of multiqubit states. General monogamy and polygamy inequalities are given in the α-th (0 ≤ α ≤ 1) power and the β-th (β ≥ 1) power of unified entropy, respectively, which are complementary to the preceding two sections for different regions of parameter chosen in α and β.[35,36]

Fig. 5. The y denotes the lower bound of UE of |ψABC, which is a function of α. The red solid line represents the UE of |ψABC in inequality (14), blue dashed line represents the lower bound of inequality (28).

By improving an inequality and using the β-th (β ≥ 1) power of UEoA, we obtain a new class of weighted polygamy inequalities of multipartite entanglement in the multiqubit quantum system.

Monogamy and polygamy of entanglement can restrict the possible correlations between the authorized users and the eavesdroppers, thus tightening the security bounds in quantum cryptography. The optimized monogamy and polygamy relations give rise to finer characterizations of the entanglement distributions. The complementary monogamy and polygamy relations may help to investigate the efficiency of entanglement used in quantum cryptography and characterizations of the entanglement distributions. These results may highlight future works on the study of quantum key distribution based on multipartite quantum entanglement distributions.

Fig. 6. The y denotes the upper bound of UEoA of |ψABC, which is a function of β. The red solid line represents the UEoA of |ψABC in inequality (14), blue dashed line represents the upper bound of inequality (30).
6. Conclusion

Entanglement monogamy and polygamy are two fundamental properties of multipartite entangled states. We provide in this work a characterization of multiqubit entanglement constraints in terms of UE. Employing the two-qubit entanglement of individual subsystems, a class of tighter monogamy inequalities are established for multiqubit entanglement based on the α-th (α ≥ 1) power of UE. We also provide a class of tighter polygamy inequalities of multiqubit entanglement in terms of the β-th (0 ≤ β ≤ 1) power of UEoA. Applying these results to specific quantum correlations, such as entanglement of formation, Renyi-q entanglement of assistance, and Tsallis-q entanglement of assistance, we obtain the corresponding tighter monogamy or polygamy relation for some classes of quantum states. Moreover, we investigate the α-th (0 ≤ α ≤ 1) and β-th (β ≥ 1) power of monogamy and polygamy relations based on the UE and UEoA. These monogamy and polygamy relations are complementary to the existing ones in different regions of parameters α and β. Last, it is worth mentioning that the approach used in this work is applicable to the study of monogamy and polygamy natures in other entanglement measures, such as entanglement of formation, Renyi-q entanglement of assistance, and Tsallis-q entanglement of assistance, or other high-dimensional quantum systems.

Reference
[1] Nielsen M A Chuang I L 2000 Quantum Computation and Quantum Information Cambridge Cambridge University Press
[2] Horodecki R Horodecki P Horodecki M Horodecki K 2009 Rev. Mod. Phys. 81 865
[3] Mintert F Kuś M Buchleitner A 2004 Phys. Rev. Lett. 92 167902
[4] Chen K Albeverio S Fei S M 2005 Phys. Rev. Lett. 95 040504
[5] Breuer H P 2006 J. Phys. A: Math. Gen. 39 11847
[6] Breuer H P 2006 Phys. Rev. Lett. 97 080501
[7] Vicente J I de 2007 Phys. Rev. 75 052320
[8] Zhang C J Zhang Y S Zhang S Guo G C 2007 Phys. Rev. 76 012334
[9] Coffman V Kundu J Wootters W K 2000 Phys. Rev. 61 052306
[10] Osborne T J Verstraete F 2006 Phys. Rev. Lett. 96 220503
[11] Pawlowski M 2010 Phys. Rev. 82 032313
[12] Wootters W K 1998 Phys. Rev. Lett. 80 2245
[13] Kim J S 2016 Ann. Phys. 373 197
[14] Kim J S 2016 Phys. Rev. 94 062338
[15] Lu Y Zhang F G Li Y 2017 Sci. Rep. 7 1122
[16] Jin Z X Fei S M Li-Jost X 2018 Quantum. Inf. Process. 17 213
[17] Kim J S 2018 Phys. Rev. 97 012334
[18] Kim J S 2018 Sci. Rep. 8 12245
[19] Jin Z X Fei S M 2018 Quantum. Inf. Process. 17 2
[20] Jin Z X Fei S M 2017 Quantum. Inf. Process. 16 77
[21] Zhu X N Fei S M 2014 Phys. Rev. 90 024304
[22] Jin Z X Li J Li T Fei S M 2018 Phys. Rev. 97 032336
[23] Gour G Guo Y 2018 Quantum 2 81
[24] Guo Y 2018 Quantum. Inf. Process. 17 222
[25] Gour G Meyer D A Sanders B C 2005 Phys. Rev. 72 042329
[26] Goura G Bandyopadhyayb S Sandersc B C 2007 J. Math. Phys. 48 012108
[27] Kim J S Sanders B C 2011 J. Phys. A: Math. Theor. 44 295303
[28] Kim J S 2010 Phys. Rev. 81 062328
[29] Hu X Ye Z 2006 J. Math. Phys. 47 023502
[30] Rastegin A E 2011 J. Stat. Phys. 143 1120
[31] Horodecki R Horodecki P Horodecki M 1996 Phys. Lett. 210 377
[32] Kim J S Sanders B C 2010 J. Phys. A: Math. Theor. 43 445305
[33] Tsallis C 1998 J. Stat. Phys. 52 479
[34] Kim J S 2012 Phys. Rev. 85 032335
[35] Liang Y Zheng Z J Zhu C J 2018 arXiv:1810.09131
[36] Farooq A Rehman J Jeong Y Kim J S Shin H 2019 Sci. Rep. 9 3314